
// Source File Name:   SET_PQ.java

package com.sunwayhorizo.health.hl7.datatypes;

import com.sunwayhorizo.health.hl7.common.VersionInfo;

import java.util.Set;


//            ANY, PQ, BL, INT,
//            ST, IVL_PQ

public interface SET_PQ
    extends ANY
{

    public static final String RCS_ID = "$Header: SET_PQ.java 1.0 2006/08/10 11:58:59 mmoores noship $";
    public static final boolean RCS_ID_RECORDED = VersionInfo.recordClassVersion("$Header: SET_PQ.java 1.0 2006/05/24 03:05:31 rassubra noship $", "com.sunwayhorizo.health.hl7.datatypes");

    public abstract BL contains(PQ pq);

    public abstract BL isEmpty();

    public abstract BL notEmpty();

    public abstract BL contains(SET_PQ set_pq);

    public abstract INT cardinality();

    public abstract SET_PQ union(SET_PQ set_pq);

    public abstract SET_PQ union(PQ pq);

    public abstract SET_PQ except(PQ pq);

    public abstract SET_PQ except(SET_PQ set_pq);

    public abstract SET_PQ intersection(SET_PQ set_pq);

    public abstract ST literal();

    public abstract IVL_PQ hull();

    public abstract Set toSet();

}
